2.1 테스트 오라클(Test Oracle)의 기초 이론 및 정의